var make_move = function(move) {
if (move_override < history.length && history[move_override] == move) {
// User effectively only moved forward in history.
var make_move = function(move) {
if (move_override < history.length && history[move_override] == move) {
// User effectively only moved forward in history.