namespace;

// expect: type error: only functions can be called, got int
typecheck on;
fn main() { int k = 3; return k(1); }