Put is_mon ahead of all to avoid any ordering problem