void
out(integer a, integer b)
{
    o_integer(a && b);
    o_byte('\n');
    o_integer(a || b);
    o_byte('\n');
    o_integer(!a);
    o_byte('\n');
}