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