"When declaring an atomic step, the subpipeline in the declaration
must be empty. And, conversely, if the subpipeline in a declaration is
empty, the declaration must be for an atomic step."
Does this mean that this:
is technically declaring a compound step, and not an atomic step? And
if so, is it impossible to declare an atomic step that's not an
extension implemented at the processor level (if that makes sense)?