let
empty = []