Module Abi_mips64_serialisation