// expect: 9/5/
// spec 4.1.6: a local may shadow a parameter
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
int f(int x) { { int x = 9; pn(x); } return x; }
fn main() { pn(f(5)); return 0; }