let previous_state (() : unit) : unit = match (!automate_story) with (x::ls) -> load_last_state x (!automate); automate_story:=ls |_ -> ()