src/stdio/putchar.c


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 stdout **/

int putchar(int c)
{
	/*
	RETURN_SUCCESS(c);
	RETURN_FAILURE(CONSTANT(EOF));
	*/
	return putc(c, stdout);
}

/***
writes the character ARGUMENT(c) (converted to an TYPE(unsigned char)) to
IDENTIFIER(stdout).
***/

/*
STDC(1)
*/


#endif