blob: 5a0836dd02d4bde68ef6c0a57274d25641086adc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#if 0
#include <stdio.h>
/** write a character to a file stream **/
int putc(int c, FILE *stream)
{
/*
RETURN_SUCCESS(ARGUMENT(c));
RETURN_FAILURE(CONSTANT(EOF));
*/
return fputc(c, stream);
}
/***
is equivalent of FUNCTION(fputc), except that if it is defined
as a macro, it may evaluate ARGUMENT(stream) more than once.
***/
/*
STDC(1)
*/
#endif
|
