add_str(s,⟦⟧); // empty string add_str(n); // null string (␀)