https://1library.org/document/yngo2kkl-trace-based-just-time-type-specialization-dynamic-languages.html