HtPP# class HtPP# property count: int# property opt: HtPPOptions# property prime_idx: int# property size: int# property table: HtPPBucket#