def byte_of

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3317def byte_of(+u: U32, +k: Nat) -> U32:
3318  U32.and(U32.shrn(u, k), 255)

Uses (4)