lock
pq_empty
pq_full
srt.state
in_f[1]
out_l[1]
srt.reg
in_f[2]
out_l[2]
in_f[3]
out_l[3]
srt.tmp
sim.state
sort_OK
sort_req
sm.state