shift_right_ull  3654 src/data.c     	w = shift_right_ull (w);
shift_right_ull  3803 src/data.c     	  val = shift_right_ull (val);