function indentCodeLines($lines, $indent = 1) {
    $indent = str_repeat('  ', $indent);

    $indented_lines = array_map(function ($line) use ($indent) {
      return empty($line) ? $line : $indent . $line;
    }, $lines);
    return $indented_lines;
  }