Symbol errors caught by symcheck.pl