tests/compiler/dart2js/cps_ir/input/operators2_4.dart

foo(a) => a % 13;
main() {
  print(foo(5));
  print(foo(100));
}