* use PATCHER_MARK_PATCHED_MONITOREXIT on exit