Symbol: dtrace_shift_128