No matches were found for subject:"Bug#604761\: examples\/profiling\/sched_switch.stp\: semantic error\: not accessible at this address \(0xffffffff812f9f86\)\: identifier '$prev' .."