#include <stdio.h>
void put(char c, FILE *stream)
{
fputc(c, stream);
}
void put(const char *s, FILE *stream)
{
fputs(s, stream);
}
int main()
{
void put(char, FILE *);
put("hello, world", stdout); // error
put('\n', stdout); // ok
return 0;
}
// End of File