r10231: