Instructions for VarEMU monitor