REDZONE_REALLOC_BIGGER_UNDERFLOW
NULL, REDZONE_REALLOC_BIGGER_UNDERFLOW, redzone_sysctl, "I", "");
case REDZONE_REALLOC_BIGGER_UNDERFLOW: