chiark / gitweb /
progs/..., symm/...: Fix 32-bit right-shift idiom.