add check for MCHECK().