(* Execution environment *)

CONSTANTS Steps           \* Sequence process/parameter records