let
dummy = (
""
,0)