Online appendix for "Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages" - View it on GitHub