Symbol: free_sequence_of