taglinefilesource code
shift_right59kernel/math/div.cshift_right(b);
shift_right67kernel/math/sqrt.cshift_right(src);