A.7. GtkNotebook

  switch-page(noteboook, page, page_num, data)