, SpecP "Instructions" "instrs" instrs run_status always_ok
, SpecP "Memory Reads" "mem-reads" mem_reads run_status always_ok
, SpecP "Memory Writes" "mem-writes" mem_writes run_status always_ok
, SpecP "Instructions" "instrs" instrs run_status always_ok
, SpecP "Memory Reads" "mem-reads" mem_reads run_status always_ok
, SpecP "Memory Writes" "mem-writes" mem_writes run_status always_ok