| // 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); | |
| } |