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 ( string plot_filename, double t[], int p_num, double p[] );