// This program prints 3 and then echoes user input until 
// the user user enters 0.  After the user enters 0, 
// this program outputs 0 twice.

main {
  nat n;
  nat m;
  n = 3;
  printNat(n);
  n = printNat( while(!(0 == (m=readNat()))) {printNat(m);} );
  printNat(n);
}