let out: string[][] = $state([[data.stdout], [data.stderr]]);
  let off: number[] = $state([data.stdout.length, data.stderr.length]);

  let out: string[][] = $state([[ansi_up.ansi_to_html(data.stdout)], [ansi_up.ansi_to_html(data.stderr)]]);
  let off: number[] = $state([data.stdout.length, data.stderr.length]);