gtk :: GtkAssistant :: get_page_title
fun get_page_title(page: GtkWidget): String import CString.to_s `{ return CString_to_s((char *)gtk_assistant_get_page_title(self, page)); `}