gtk :: GtkAssistant :: set_page_title
fun set_page_title(page: GtkWidget, title: String) import String.to_cstring `{ gtk_assistant_set_page_title(self, page, String_to_cstring(title)); `}