
  TYPE
    amt$lock_intent = (amc$exclusive_access, amc$preserve_access_and_content,
          amc$preserve_content);

