// expect: 1/
// spec 4.9: unchecked fn makes one function unchecked
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
unchecked fn leaky() { int* p = rt.new(int); return 0; }
fn main() { leaky(); pn(1); return 0; }
// zc0: skip