namespace;
include rt;

// the typechecker is off unless asked for: this mismatch compiles and runs
fn main() { char* s = 5; rt.put_n(s as int + 1); rt.put_c(10); return 0; }