#import <HTML/HTMLElement.idl> interface HTMLPreElement : HTMLElement { };