OVERLAP_FIXED
if (OVERLAP_FIXED(m0))
if (OVERLAP_FIXED(m1) || OVERLAP_MAP(m1, m0))
if (OVERLAP_FIXED(io) || OVERLAP_MAP(io, m0) || OVERLAP_MAP(io, m1))