Re: xxdiff missing from F32