code: private static List<SyntacticItem.Marker> extractSyntacticMarkers(Path.Entry<?>... binaries) throws IOException {
  		List<SyntacticItem.Marker> annotated = new ArrayList<>();
  		//
  		for (Path.Entry<?> binary : binaries) {
  			Object o = binary.read();
  			// If the object in question can be decoded as a syntactic heap then we can look
  			// for syntactic messages.
  			if (o instanceof SyntacticHeap) {
  				SyntacticHeap h = (SyntacticHeap) o;
  				extractSyntacticMarkers(h.getRootItem(), annotated, new BitSet());
  			}
  		}
  		//
  		return annotated;
  	}
docs: Traverse the various binaries which have been generated looking for error
  messages.
  
  @param binaries
  @return
  @throws IOException