1 files changed, 19 insertions, 0 deletions
diff --git a/src/stdio/putc.c b/src/stdio/putc.c
new file mode 100644
index 00000000..c3509ee2
--- /dev/null
+++ b/src/stdio/putc.c
@@ -0,0 +1,19 @@
+#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)
+*/