K 10
svn:author
V 3
dcs
K 8
svn:date
V 27
2000-06-14T19:37:00.000000Z
K 7
svn:log
V 378
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. This is possibly broken(), as 0 is a valid fd. Maybe
we should +1 to this value.

This fixes the version problem widely reported.

END