robustification of hal serialization