shift_right_ull  3707 src/data.c     	w = shift_right_ull (w);
shift_right_ull  3856 src/data.c     	  val = shift_right_ull (val);