/macros/generic/occam/PlainEx2/