Module Abi_aarch64_le_serialisation