load_nodes_from_input_file = function()
	-- side effects: Nodes, Root, Cursor_node
	-- load JSON from Input_filename
	local f = io.open(Input_filename)
	assert(f)
	local thread = json.decode(f:read('*a'))
	f:close()
	load_nodes_from_json(thread)
end