namespace;

// expect: type error: only pointers can be dereferenced, got int
typecheck on;
fn main() { int x = 3; return *x; }