execute _                        (Mul     : _ ) = errUnderflow "Mul"
execute _                        (Mul     : _ ) = errUnderflow "Mul"
execute _                        (Mul     : _ ) = errUnderflow "Mul"