<<>> <> <> <> <> <<>> StartCedarPreBasics: CEDAR PROGRAM ~ BEGIN DoStartOther: PROC [] RETURNS [] ~ TRUSTED MACHINE CODE { "XR_run_CedarPreBasicsOther" }; DoStartOther[]; END.