public static XmlAttribute makeXmlAttributeRespectingNamespace(String name, XmlElement element, KvCons namespaceTable) {
    { int colonPosition = Native.string_position(name, ':', 0);

      if (colonPosition == Stella.NULL_INTEGER) {
        return (Stella.makeXmlLocalAttribute(name, element));
      }
      else {
        return (Stella.makeXmlGlobalAttributeRespectingNamespace(Native.string_subsequence(name, colonPosition + 1, Stella.NULL_INTEGER), Native.string_subsequence(name, 0, colonPosition), name, namespaceTable));
      }
    }
  }