rng ::= a pRNG;
checked : [0..19];
Do [
    checked : = rng's next [0..19];
    Print: “checked”;
] while checked ≠ 10 alternate with [
    Print: " " ++ “rng's next [0..19]” ++ "\n";
];