12345678910 |
- /*
- * Copyright (c) 1995 Colin Plumb. All rights reserved.
- * For licensing and other legal details, see the file legal.c.
- */
- #include <stdio.h>
- #define userPrintf printf
- #define userPuts(s) fputs(s, stdout)
- #define userFlush() fflush(stdout)
- #define userPutc putchar
|