Exported WITH-LOCKED-INSTANCE