WITHOUT-INTERRUPTS ought to have a suitable indentation property. I think it ought to indent by 2, not by 1. Maybe the default should be to indent by 2 under a function which is atomic and which has no args on the same line with it.