https://9dok.net/document/qo5lxl8m-a-type-system-for-java-bytecode-subroutines.html