prog: MIPS32int
vgopts: -q