int add(int, int);