extern fn main() {} //~ ERROR: main function has wrong type [E0580]