typedef unsigned long size_t;

const void *
simple_get_bytes(const void *p, const void *end, void *res, size_t len)
{
 const void *q = (const void *)((const char *)p + len);
 if (q > end || q < p)
  return 0;
 return q;
}

#if 0
powerpc64-linux-gcc -Wall -W -fno-strict-aliasing -fno-comm
on -Os -fno-stack-protector -msoft-float -mminimal-toc -mtraceback=none -mcall-aixdesc -mtune=power4 -mno-altivec -mno-spe -funit-at-a-time -mno-string -Wa,-maltivec -fomit-frame-pointer -c auth_gss.c -Wstrict-overflow
#endif