((SLT)
(list (core '->addr (+ ptr (if (compare-instrs core A-ptr B-ptr modifier <) 2 1)))))
((SPL)
- (list (core '->addr (+ ptr 1) (core '->addr A-ptr))))
+ (list (core '->addr (+ ptr 1)) (core '->addr A-ptr)))
((NOP)
(list (core '->addr (+ ptr 1))))
(else