ptext: extract function to verify key0_4
ptext: compute internal representation up to i == 0