tools/fax2ps.c:117: error: Integer Overflow L2
  ([7, +oo] - [1, 512]):unsigned32.

tools/fax2ps.c:67:1: <LHS trace>
65.  * March 13-15, 1995.
66.  */
67. static void
    ^
68. printruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
69. {

tools/fax2ps.c:67:1: Parameter `lastx`
65.  * March 13-15, 1995.
66.  */
67. static void
    ^
68. printruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
69. {

tools/fax2ps.c:67:1: <RHS trace>
65.  * March 13-15, 1995.
66.  */
67. static void
    ^
68. printruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
69. {

tools/fax2ps.c:67:1: Parameter `lastx`
65.  * March 13-15, 1995.
66.  */
67. static void
    ^
68. printruns(unsigned char* buf, uint32* runs, uint32* erun, uint32 lastx)
69. {

tools/fax2ps.c:117:3: Binary operation: ([7, +oo] - [1, 512]):unsigned32
115. 		}
116. 		putchar(colormode ? WBarr[l].black : WBarr[l].white), n--;
117. 		runlength -= WBarr[l].width;
       ^
118. 	    } else
119. 		l++;
