id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 1451 interrupts-enabled vs disable-interrupts felix winkelmann We have both declarations, with the former usable in a `(not ...)` form. We should reduce these to a single one. task closed minor 5.0 compiler 4.13.0 fixed trivial