<> <> <> DIRECTORY File USING [FindVM]; FindVMImpl: CEDAR PROGRAM IMPORTS File EXPORTS ~ BEGIN [] _ File.FindVM[]; -- in this case we're continuing with the full boot sequence END.