// expect: 7/
// spec 4.10.1: o3 T x = e; marks one variable
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { o3 int x = 7; pn(x); return 0; }
// zc0: skip