Symbol: free_dfa_content