// expect: 6/
// spec appendix b.2.12: x as int * y should multiply
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int x = 2; int y = 3; pn(x as int * y); return 0; }
// zc0: skip