overflow         3053 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "aos overflow fault");
overflow         3368 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adq overflow fault");
overflow         3606 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lca overflow fault");
overflow         3617 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lcq overflow fault");
overflow         3637 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lcxn overflow fault");
overflow         3661 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "lcaq overflow fault");
overflow         4583 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "ada overflow fault");
overflow         4604 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adaq overflow fault");
overflow         4625 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adl overflow fault");
overflow         4740 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adxn overflow fault");
overflow         4758 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asa overflow fault");
overflow         4771 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asq overflow fault");
overflow         4796 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asxn overflow fault");
overflow         4815 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "awca overflow fault");
overflow         4834 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "awcq overflow fault");
overflow         4853 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sba overflow fault");
overflow         4875 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbaq overflow fault");
overflow         4975 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbq overflow fault");
overflow         5003 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbxn overflow fault");
overflow         5017 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssa overflow fault");
overflow         5031 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssq overflow fault");
overflow         5057 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssxn overflow fault");
overflow         5076 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "swca overflow fault");
overflow         5095 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "swcq overflow fault");
overflow         5135 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "mpf overflow fault");
overflow         5354 src/dps8/dps8_ins.c               overflow (cpup, true, false, "neg overflow fault");
overflow         5385 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "negl overflow fault");