HGA 提供了一种在go汇编之上的抽象，理解起来更容易，比较适合于理解go、学习go的场景

[hitzhangjie]

可以参考，resconstruct program semantics from go binary，

这部分内容可以考虑在本书第二部分中补充。