[
  "function testCompareNames() pure",
  "function testIterateRRs() pure",
  "function testKeyTag() view",
  "function testLabelCount() pure",
  "function testNameLength() pure",
  "function testSerialNumberGt() pure"
]