Replace ambiguous use of * in state coding with less-problematic letter m