static SS gazelle_inputMapFromLineAndHistory(S line, LS history) {
  SS inputMap = litmap(standard := line);
  for (int i = 0; i < l(history); i++)
    inputMap.put("history-" + (l(history)-i), history.get(i));
  ret inputMap;
}