
  TYPE
    amt$commit_phase = (amc$simple_commit, amc$tentative_commit,
          amc$permanent_commit);

