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