put [1,3 xx get-1]