printf(" root_info_id = %d\n",ip->root_info_id);
printf(" index_info_id = %d\n",ip->index_info_id);
printf(" page_info_id = %d\n",ip->page_info_id);
printf(" root_info_id = %d\n",ip->root_info_id);
printf(" index_info_id = %d\n",ip->index_info_id);
printf(" page_info_id = %d\n",ip->page_info_id);