void verify_stack()
{
  int verified = 0;
  char buf[8];
  gets(buf);
  /* <verification goes here> */
  if (verified) {
    printf("accept\n");
  } else {
    printf("reject\n");
  }
}