code: public synchronized void addSmap(String smap, String stratumName) {
          embedded.add("*O " + stratumName + "\n" + smap + "*C " + stratumName + "\n");
      }
docs: Adds the given string as an embedded SMAP with the given stratum name.
  
  @param smap the SMAP to embed
  @param stratumName the name of the stratum output by the compilation
  that produced the <tt>smap</tt> to be embedded