export function uart_push_line(line) {
  const elem = document.createElement("span");
  elem.classList.add("uart_line");
  elem.textContent = line;
  document.body.appendChild(elem);
}