1*0Sstevel@tonic-gate.div
2*0Sstevel@tonic-gate.mul
3*0Sstevel@tonic-gate.rem
4*0Sstevel@tonic-gate.stret1
5*0Sstevel@tonic-gate.stret2
6*0Sstevel@tonic-gate.stret4
7*0Sstevel@tonic-gate.stret8
8*0Sstevel@tonic-gate.udiv
9*0Sstevel@tonic-gate.umul
10*0Sstevel@tonic-gate.urem
11