NATINT_LEN_Q      662 pack.c         	    integer_size = NATINT_LEN_Q;
NATINT_LEN_Q      667 pack.c         	    integer_size = NATINT_LEN_Q;
NATINT_LEN_Q     1503 pack.c         	    integer_size = NATINT_LEN_Q;
NATINT_LEN_Q     1509 pack.c         	    integer_size = NATINT_LEN_Q;