K 10
svn:author
V 6
obrien
K 8
svn:date
V 27
2000-07-07T00:01:24.000000Z
K 7
svn:log
V 268
MFC: rev 1.23
* Remove the setting of sourceid from bf_vm(), as bf_vm() really has no clue.
* set sourceid to 0 when booting, which is the correct setting for stdin.
* set sourceid to an arbitrary fd when include'ing, preserving and restoring
  the previous sourceid.

END