method set_history h =
      history <- Some h;
      h#init_pos