public override List <string> Generate() { return(new List <string>() { read_op, WMIPS.not("$a0", "$a0"), save_res }); }