#include <stdio.h>
#include "MyLibrary.h"

double pi(void) {
  return 3.14159;
}

void display_double(double d) {
  printf("The number is: %f\n", d);
}