/* static info provided by MIPS */