
  TYPE
    amt$return_option = (amc$return_at_close, amc$return_at_task_exit,
          amc$return_at_job_exit);

