Dimitris Papastamos Sat, 11 Apr 2015 13:19:31 -0700
I managed to capture a similar crash again on the same box. See http://cream.2f30.org/sin/openbsd-crash2