mem_exists
static bool mem_exists(paddr_t, paddr_t);
if (!mem_exists(exstart, basemax))
if (!mem_exists(exstart + size - 4, basemax))