%include "mips/bincmp.S" { "revcmp":"ge" }