make HLLP serializable