Micro-optimize mi.set_identifiers()