[export] main = fn [cc(c)] () s32
{
    >a: u32 = 0b111;
    if (#leading_zeroes(a) != 29) #trap();
    if (#trailing_zeroes(a) != 0) #trap();
    >b: u8 = 0b11010;
    if (#leading_zeroes(b) != 3) #trap();
    if (#trailing_zeroes(b) != 1) #trap();
    return 0;
}