def enc.extra

import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc

import Base

1249def enc.extra(+have: U32, +need: U32) -> U32:
1250  enc.zero(U32.is_le(have, need), have, need)

Uses (3)