BASE_VALID
if ((base > tom2) && BASE_VALID(base))
if (BASE_VALID(base))
if (val >= base + MMCONF_SIZE && BASE_VALID(base))