bad                31 exec.c             goto bad;
bad                33 exec.c             goto bad;
bad                36 exec.c             goto bad;
bad                42 exec.c               goto bad;
bad                46 exec.c               goto bad;
bad                48 exec.c               goto bad;
bad                50 exec.c               goto bad;
bad                60 exec.c             goto bad;
bad                67 exec.c               goto bad;
bad                70 exec.c               goto bad;
bad                81 exec.c             goto bad;
bad                99 exec.c          bad:
bad                29 pipe.c             goto bad;
bad                31 pipe.c             goto bad;
bad                48 pipe.c          bad:
bad               142 sysfile.c          goto bad;
bad               146 sysfile.c          goto bad;
bad               155 sysfile.c      bad:
bad               202 sysfile.c          goto bad;
bad               205 sysfile.c          goto bad;
bad               212 sysfile.c          goto bad;
bad               232 sysfile.c      bad:
bad               327 vm.c                 goto bad;
bad               330 vm.c                 goto bad;
bad               334 vm.c           bad: