emit fixes for improperly annotated symbols#57

compnerd merged 2 commits into

compnerd:maincompnerd/ids:mainfrom

andrurogerz:negative-checksandrurogerz/ids:negative-checksCopy head branch name to clipboard