// Expectation for test: 
// // Method to test: function(foo)
// foo(a) => a ~/ 13;
// main() {
//   print(foo(5));
//   print(foo(-100));
// }

function(a) {
  return (a | 0) === a && (13 | 0) === 13 ? a / 13 | 0 : C.JSNumber_methods.toInt$0(a / 13);
}