CORE
A.class
--function 'A.me1:()V' --java-threading --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --show-goto-functions
ATOMIC_BEGIN
ATOMIC_END
--
--
Making sure that monitorEnter and monitorExit are not removed by lazy-methods
