Type Alias PointCodecRegs 

pub type PointCodecRegs = (Bits<5>, [FieldElement2625; 3], bool, bool, bool);

Compact retained codec state: state, three field temporaries, and flags.