movable exempt_ptr: MichaelList