KRB5_INT16_MAX is #define'd in include/krb5/krb5.hin as 65535 - shouldn't this be 32767 instead? - Matt D.