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

[export] main = fn [cc(c)] () s32
{
    >result: s32 = 0;
    require(result == 0);
    return result;
}