Re: CRUX 3.5 test makes me happy