#include<stdio.h>#include"real.h"/* * Prints pi (in base 10) to the specified number of digits. */main(intargc,char*argv[]){MyName=argv[0];if(argc!=2){fprintf(stderr,"%s <n>\n",MyName);exit(1);}initReals();print_R_Dec(Pi,atoi(argv[1]));printf("\n");}