integer
main(void)
{
    integer i, g, b;

    i = 0;
    while (i < 32) {
        g = gray_encode(i);
        b = gray_decode(g);
        o_winteger(2, i);
        o_text(": ");
        o_fxinteger(5, 2, i);
        o_text(" => ");
        o_fxinteger(5, 2, g);
        o_text(" => ");
        o_fxinteger(5, 2, b);
        o_text(": ");
        o_winteger(2, b);
        o_byte('\n');
        i += 1;
    }

    return 0;
}