a lot of MIPS examples; etc