void main(void)
{
  int i;
  i = 0;

  while(i < 10)
  {
    write(i);
    i = i + 1;
  }

  i = 0;

  while(i < 10)
  {
    write(i);
    i = i + 1;
  }

  return;
}