extern int goal(int, int);