/test/2242-checker-lse-acquire-release-operations/src/