// error-pattern:wrong type in main function fn main(x: int) { }