lock sim.val sim.state bufsize buffer[1] srt.buffer_aux[1] buffer[2] srt.buffer_aux[2] buffer[3] srt.buffer_aux[3] srt.state srt.ord sort_OK sort_req sm.state