Port: Add RunAutomatons and UTF32ToUTF8