//@ run-pass pub fn foo() -> isize { 10 }