shiftrotate.ttcn 2.18 KB