int max(int, int);