senatens öfverprokuratorer och senatorer.