movable exempt_ptr: MichaelSet/Map