userio.h 272 B

12345678910
  1. /*
  2. * Copyright (c) 1995 Colin Plumb. All rights reserved.
  3. * For licensing and other legal details, see the file legal.c.
  4. */
  5. #include <stdio.h>
  6. #define userPrintf printf
  7. #define userPuts(s) fputs(s, stdout)
  8. #define userFlush() fflush(stdout)
  9. #define userPutc putchar