NULL, 但可以WAD地速

CFG

伪代码

几种构造的实现：

• 变量、值、类型：

  变量、值都是alias

• 赋值

• 分支

运行过程是some_variable > TRUE > when_true或some_variable > FALSE > when_false.

变量赋值设定前一半alias (some_variable>TRUE)，此处设定后一半alias(TRUE>when_true)，最后运行some_variable.

分支数量也可以不止两个，只要能覆盖some_variable可取的所有值即可，如：