+let expand_entry p =
+ EU.pointer_visit expand_entry [] p
+
+let make_tops () =
+ if EU.stage_compare st.ET.ss [] = 0 then EU.raise_error ET.ENoStage else
+ if st.ET.so <> [] then EU.raise_error ET.ETops else
+ if st.ET.sn <> [] then begin
+ st.ET.so <- List.map (EU.oobj_of_nobj st.ET.ss) st.ET.sn;
+ st.ET.sm <- true
+ end
+