in "monsym.red"$
