bend-osdev-gf@0.1.1.0 · check.bend:8
import bend-osdev-gf@0.1.1.0/check.bend as Check
import Base 8def show(x: U32) -> String: 9 U32.show(x)