docs: function emitAttributeName(name) {
                      if (/^[A-Za-z_]\w*$/.test(name.text)) {
                          emit(name);
                      }
                      else {
                          write('"');
                          emit(name);
                          write('"');
                      }
                  }