overflow         3053 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "aos overflow fault");
overflow         3369 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adq overflow fault");
overflow         3607 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lca overflow fault");
overflow         3618 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lcq overflow fault");
overflow         3638 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "lcxn overflow fault");
overflow         3662 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "lcaq overflow fault");
overflow         4653 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "ada overflow fault");
overflow         4674 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adaq overflow fault");
overflow         4695 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adl overflow fault");
overflow         4810 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "adxn overflow fault");
overflow         4828 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asa overflow fault");
overflow         4841 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asq overflow fault");
overflow         4866 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "asxn overflow fault");
overflow         4885 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "awca overflow fault");
overflow         4904 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "awcq overflow fault");
overflow         4923 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sba overflow fault");
overflow         4945 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbaq overflow fault");
overflow         5045 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbq overflow fault");
overflow         5073 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "sbxn overflow fault");
overflow         5087 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssa overflow fault");
overflow         5101 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssq overflow fault");
overflow         5127 src/dps8/dps8_ins.c             overflow (cpup, ovf, true, "ssxn overflow fault");
overflow         5146 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "swca overflow fault");
overflow         5165 src/dps8/dps8_ins.c             overflow (cpup, ovf, false, "swcq overflow fault");
overflow         5205 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "mpf overflow fault");
overflow         5424 src/dps8/dps8_ins.c               overflow (cpup, true, false, "neg overflow fault");
overflow         5455 src/dps8/dps8_ins.c                 overflow (cpup, true, false, "negl overflow fault");