Provide a definition of maxval.