overflow         3058 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "aos overflow fault");
overflow         3373 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adq overflow fault");
overflow         3611 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lca overflow fault");
overflow         3622 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lcq overflow fault");
overflow         3642 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lcxn overflow fault");
overflow         3666 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "lcaq overflow fault");
overflow         4588 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "ada overflow fault");
overflow         4609 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adaq overflow fault");
overflow         4630 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adl overflow fault");
overflow         4745 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adxn overflow fault");
overflow         4763 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asa overflow fault");
overflow         4776 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asq overflow fault");
overflow         4801 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asxn overflow fault");
overflow         4820 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "awca overflow fault");
overflow         4839 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "awcq overflow fault");
overflow         4858 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sba overflow fault");
overflow         4880 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbaq overflow fault");
overflow         4980 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbq overflow fault");
overflow         5008 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbxn overflow fault");
overflow         5022 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssa overflow fault");
overflow         5036 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssq overflow fault");
overflow         5062 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssxn overflow fault");
overflow         5081 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "swca overflow fault");
overflow         5100 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "swcq overflow fault");
overflow         5140 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "mpf overflow fault");
overflow         5359 src/dps8/dps8_ins.c               overflow (cpup, true, false, "neg overflow fault");
overflow         5390 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "negl overflow fault");