require = fn (ok: u1) void
{
    if (!ok) #trap();
}

bb_bool = fn (x: u8) void
{
    require(#truncate(x));
}

[export] main = fn [cc(c)] () s32
{
    bb_bool(1);
    return 0;
}