K 10 svn:author V 6 obrien K 8 svn:date V 27 2000-07-07T00:07:08.000000Z K 7 svn:log V 405 MFC: rev 1.1{6,8} (place original builtins in a vocabulary called "builtins" and fix vocabulary juggling) MFC: rev 1.7 * 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