typedef_texts