text: record = "AArch64"
  
  cats = [
      "cats/aarch64-MTE.cat",
      ]
  
  cfgs = [
      "cfgs/web-MTE.cfg",
  ]
  
  illustrative_tests = [
      "tests/MP+dmb.stPT+addr.litmus",
      "tests/MP+dmb.stTT+addr.litmus",
      "tests/R+dmb.stTT+rel-acq.litmus",
      "tests/S+dmb.stTT+addr.litmus",
      "tests/S+dmb.stTT+ctrl.litmus",
      "tests/S+dmb.stTT+data.litmus",
      "tests/S+dmb.stTT+rel.litmus",
      "tests/LDR-STZG1.litmus",
      "tests/LDR-STZG2.litmus",
      "tests/Wt+RtWtRt.litmus",
      "tests/RtWtRt+WztWzt.litmus",
  ]
  