Benchmarking different approaches to PHP GC instrumentation.