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