integer main(void) { integer a, b; while (1) { a = drand(19); o_integer(a); o_byte('\n'); if (a == 10) { break; } b = drand(19); o_integer(b); o_byte('\n'); } return 0; }