method
init_pos = pos <- insert_pos