1 2 3 4
// -*- rust -*- pure fn f(q: int) -> bool { ret true; } fn main() { let x = 0; check (f(x)); }