程序的转换与机器级表示
局部变量为什么不是符号与Link error的本质解释——C语言与链接器