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
