int getTokenInt(char **pp, int *pval)
{
  int val = 0;
  char c;
  int retval = 1;
  char *p = *pp;

  while (c = *p, c > ' ') {
    c = *p;
    if (c >= '0' && c <= '9') {
      val = val * 10 + c - '0';
      p++;
      continue;
    }
    retval = 0;
    break;
  }
  *pval = val;
  *pp = p;
  return retval;
}