takes_i32(i32 n) {} main() { takes_i32(20); }