def hex_word
import bend-collections@1.0.0.0/src/crypto/keccak/hex.bend as Heximport Base
23def hex_word(+x: U32) -> String:
24 hex_byte(U32.and(x,255)) ++ hex_byte(U32.and(U32.shrn(x,8n),255)) ++ hex_byte(U32.and(U32.shrn(x,16n),255)) ++ hex_byte(U32.shrn(x,24n))