double r8_max ( double x, double y );
double r8_min ( double x, double y );
int r8_to_i4 ( double xmin, double xmax, double x, int ixmin, int ixmax );
void timestamp ( );
void triangle_svg ( char *plot_filename, double t[], int p_num, double p[] );