int maximum(int, int);