before changing to compact encoding
before implementing obj-sensitive
after changing object-sensitivity, jvm crashes
after changing to compact encoding
rewrite the code
after making recording unsynchronized
checked in