namespace;
include rt;

// expect: x: owned object is never used
fn main() { let x = rt.new(3); return 0; }