def prim_95__95_vm(_123_arg_95_0_125_): return __RTS.op_external(_123_arg_95_0_125_)
def prim_95__95_writeFile(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_)
def prim_95__95_sizeofPtr(): return __RTS.op_external()
def prim_95__95_stdout(): return __RTS.op_external()
def prim_95__95_readFile(_123_arg_95_0_125_, _123_arg_95_1_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_)
def prim_95__95_registerPtr(_123_arg_95_0_125_, _123_arg_95_1_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_)
def prim_95__95_ptrOffset(_123_arg_95_0_125_, _123_arg_95_1_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_)
def prim_95__95_readChars(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_)
def prim_95__95_pokeSingle(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_, _123_arg_95_3_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_, _123_arg_95_3_125_)
def prim_95__95_peekPtr(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_, _123_arg_95_2_125_)
def prim_95__95_null(): return __RTS.op_external()
def prim_95__95_managedNull(): return __RTS.op_external()
def prim_95__95_eqManagedPtr(_123_arg_95_0_125_, _123_arg_95_1_125_): return __RTS.op_external(_123_arg_95_0_125_, _123_arg_95_1_125_)