fun append(page: GtkWidget): Int `{
		return gtk_assistant_append_page(self, page);
	`}