let parseSym  s =
 match s with
   Return((SYMATOM y)::ys, (_)) ->  Return(ys,[SYMATOM y])
 | (_) ->  Fail ;