fun main(int): int {
    
}

/**
@compilation_should_fail
@stderr expected parameter name, got `int`
*/