proc multiply*(x, y: Int) -> Int return x * y end.