fn[cc(.c)] main[export]() s32 {
    >a: s32 = 7;
    #assert(#trailing_zeroes(a) == 0);
    >b: s32 = 8;
    #assert(#trailing_zeroes(b) == 3);
    return 0;
}