def p3

bend-osdev-hashes@0.1.0.0 · check.bend:32

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

32def p3(+o: B.Octets) -> B.Octets:
33  B.Octets.drop(Nat.mul(2n, third(o)), o)