interface HTMLProgressElement : HTMLElement { };