1#include <stdio.h>
2
3/* putchard - putchar that takes a double and returns 0. */
4extern double putchard(double X) {
5  putchar((char)X);
6  return 0;
7}
8
9/* printd - printf that takes a double prints it as "%f\n", returning 0. */
10extern double printd(double X) {
11  printf("%f\n", X);
12  return 0;
13}
14