// Expectation for test: 
// // Method to test: function(foo)
// import 'package:expect/expect.dart';
// 
// @NoInline() foo(a) => a ~/ 13;
// 
// main() {
//   print(foo(5));
//   print(foo(8000000000));
// }

function(a) {
  return C.JSInt_methods.$tdiv(a, 13);
}