On 03/20/2018 10:54 AM, Joseph Myers wrote: > *result = (val >> 1) & 0x7fffffff; One other thing I just noticed: now that val is uint32_t, the above should be simplifed to "*result = val >> 1;". The patch looks good otherwise; thanks.