let inital_space,new_grafite_status,new_lexicon_status,new_status_and_text_list' =
(* the code commented out adds the "select" command if needed *)
initial_space,grafite_status,lexicon_status,[] in
let inital_space,new_grafite_status,new_lexicon_status,new_status_and_text_list' =
(* the code commented out adds the "select" command if needed *)
initial_space,grafite_status,lexicon_status,[] in