proc multiply(word a, b) word: a * b corp