BCHTranslateMIPSToCHIF
val translate_mips_assembly_function : BCHMIPSTypes.mips_assembly_function_int -> unit