use hyphen->underscore in last step of emit-symbol