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