void post_script_like_line(FILE *foutps, double a, double b, 
			   double low_score, double high_score);
void post_script_header(FILE *foutps);
void post_script_trailer(FILE *foutps);