further additions to processor spec tests