print_to_output = function(...)
local line = table.concat(map({...}, tostring), ' ')
table.insert(Output_editor_state.lines,
{data=line})
Text.redraw_all(Output_editor_state)
end