ndexfile(index-entry "initial environment" "rm" main ) ndexfile(index-entry "top level environment" "rm" main )