fun get_page(page_num: Int): GtkWidget `{
		return gtk_assistant_get_nth_page(self, page_num);
	`}