BinaryFile_external prim_openBinaryFile BinaryFile_external prim_hGetByte BinaryFile_external prim_hPutByte