|  | /* Copyright (C) 1992-2016 Free Software Foundation, Inc. | 
|  | This file is part of the GNU C Library. | 
|  |  | 
|  | The GNU C Library is free software; you can redistribute it and/or | 
|  | modify it under the terms of the GNU Lesser General Public | 
|  | License as published by the Free Software Foundation; either | 
|  | version 2.1 of the License, or (at your option) any later version. | 
|  |  | 
|  | The GNU C Library is distributed in the hope that it will be useful, | 
|  | but WITHOUT ANY WARRANTY; without even the implied warranty of | 
|  | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU | 
|  | Lesser General Public License for more details. | 
|  |  | 
|  | You should have received a copy of the GNU Lesser General Public | 
|  | License along with the GNU C Library; if not, see | 
|  | <http://www.gnu.org/licenses/>.  */ | 
|  |  | 
|  | #include <stdlib.h> | 
|  | #include <stdio.h> | 
|  |  | 
|  | int | 
|  | main (void) | 
|  | { | 
|  | int err = 0; | 
|  | int i, j; | 
|  | while (scanf ("%d %d\n", &i, &j) == 2) | 
|  | { | 
|  | div_t d = div (i, j); | 
|  | printf ("%d / %d = %d + %d/%d", i, j, d.quot, d.rem, j); | 
|  | if (i == d.quot * j + d.rem) | 
|  | fputs ("  OK\n", stdout); | 
|  | else | 
|  | { | 
|  | fputs ("  FAILED\n", stdout); | 
|  | err = 1; | 
|  | } | 
|  | } | 
|  | return err; | 
|  | } |