if (num == 0) {
				is_int = FALSE;
			    } else {
				int maybe_int = FALSE, maybe_str = FALSE;
#define CHECK_HYPOTHESIS(offset, result) \
    do { \
	long q = offset; \
	if (q+4 <= len) { \
	if (q >= 0 && q+4 <= len) { \
	    q = q + 4 + GET_32BIT(p+q); \
	    if (q >= 0 && q+4 <= len && \
	    if (q+4 <= len && (q = q + 4 + GET_32BIT(p+q)) && q == len) \
		    (q = q + 4 + GET_32BIT(p+q)) && q == len) \
		result = TRUE; \
	} \
    } while(0)
				CHECK_HYPOTHESIS(4+1, maybe_int);
				CHECK_HYPOTHESIS(4+num+1, maybe_str);
#undef CHECK_HYPOTHESIS
				if (maybe_int && !maybe_str)