val node2str : Ast.node -> string