在 Kotlin 里面引用 TypeScript 函数，然后还有一些其他常用的东西
杂记 Static Program Analyses
Source
youtube
Program Representation
Basic Block
flow -> “Basic block” -> out
a basic block has only one entry point and one exit point.
no inside jump
never jump to middle
control can a...