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