mul::=
