
  TYPE
    avt$validation_name = record
      case kind: avt$validation_name_kind of
      = avc$vnk_account =
        account_name: avt$account_name,
      = avc$vnk_project =
        project_name: avt$project_name,
      = avc$vnk_user =
        user_name: ost$user_name,
      casend,
    recend;

*copyc avt$account_name
*copyc avt$project_name
*copyc avt$validation_name_kind
*copyc ost$user_identification

