parsing of top-level declarations looking good