hal deserializer