
  TYPE
    amt$unlock_control = (amc$automatic, amc$wait_for_unlock);

