/* determine whether arguments can be added without overflow */ int tadd_ok(int x, int y); this function should return 1 if arguments x and y can be added without causing overflow