stream_len        523 src/prt2pdf/prt2pdf.c   long stream_len;
stream_len        528 src/prt2pdf/prt2pdf.c   stream_len = ftell (stdout) - GLOBAL_STREAM_START;
stream_len        531 src/prt2pdf/prt2pdf.c   (void)printf ("%ld\nendobj\n", (long)stream_len);