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[] );