% Module ceremony elided...
:- func multiply(integer, integer) = integer.
multiply(A, B) = A * B.