}
turing;
extern gchar states_fname[1024];
extern gchar tape_string[1024];
extern turing *turing_new(void);
extern gchar *turing_states_to_string(turing_state *state);
extern gint turing_fread_states(turing *machine, gchar *filename);