definition module selectively_import_and_mark_labels;

import State;

replace_section_label_by_label2 :: !Int !Int !*State -> (!Int,!*State);

selective_import_symbol :: !Int !Int !*(!*{#Bool},!*State) -> *(!*{#Bool},!*State);