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_)
