stdlib.c

   1 #include <stdio.h>
   2 // Takes a double and writes it to stdout
   3 double putchard(double x) {
   4         int res = putchar((int)x);
   5         fflush(stdout);
   6         return (double)res;
   7 }