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