let empty_list = [];