slightly change c2ast.lua