Take into account that WITH-LOCKED-INSTANCE is private