K 10
svn:author
V 4
alex
K 8
svn:date
V 27
1998-10-06T23:17:44.000000Z
K 7
svn:log
V 192
Cast the return value of tvtohz() from a long to an int to satisfy the
compiler that we know what we're doing (the value returned has already
been restricted to int ranges).

Reviewed by:	bde

END