
  TYPE
    amt$lock_key = record
      key_location: ^cell,
      wait_for_lock: ost$wait_for_lock,
      unlock_control: amt$unlock_control,
      lock_intent: amt$lock_intent,
    recend;

*copyc amt$lock_intent
*copyc amt$unlock_control
*copyc ost$wait_for_lock
