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