fun current_page: Int `{
		return gtk_assistant_get_current_page (self);
	`}