sub = macro [T] (a: T, b: T) T
{
    return a - b;
}

[export] main = fn [cc(c)] () s32
{
    >a = sub[s32](1, 1);
    >b = sub[u8](2, 2);
    return a + #extend(b);
}