use std::max ; NFCI