1[ 2 { 3 "ArchStdEvent": "LDREX_SPEC", 4 }, 5 { 6 "ArchStdEvent": "STREX_PASS_SPEC", 7 }, 8 { 9 "ArchStdEvent": "STREX_FAIL_SPEC", 10 }, 11 { 12 "ArchStdEvent": "STREX_SPEC", 13 }, 14] 15