shift_right_ull  3655 src/data.c     	w = shift_right_ull (w);
shift_right_ull  3804 src/data.c     	  val = shift_right_ull (val);