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