2012-03-31 20:22:13 +00:00
|
|
|
/*
|
|
|
|
|
* Copyright (c) 1995 Colin Plumb. All rights reserved.
|
|
|
|
|
* For licensing and other legal details, see the file legal.c.
|
|
|
|
|
*/
|
2010-02-20 18:51:54 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
|
|
#define userPrintf printf
|
|
|
|
|
#define userPuts(s) fputs(s, stdout)
|
|
|
|
|
#define userFlush() fflush(stdout)
|
|
|
|
|
#define userPutc putchar
|
