Module impl_max

Functions