{ abort(); }
void on_pic_aaargh(const PicInsnInfo *pii, const PicInsn *pi, int objnum)
{ abort(); }
+void on_pic_spurious(const PicInsnInfo *pii, const PicInsn *pi, int objnum) {
+ oprintf(UPO,"warning spurious %d \"spurious short circuit (fault)"
+ " detection interrupts\"", objnum);
+}
void on_pic_detect1(const PicInsnInfo *pii, const PicInsn *pi, int segn) {
Segment *seg;