Removed obsolete file src/do_states