interface frame : widget {\c{\fbox{frame}}
frame(char* p, char * options = ""); frame(widget* w, char* p, char * options = ""); };
interface frame : widget {\c{\fbox{frame}}
frame(char* p, char * options = ""); frame(widget* w, char* p, char * options = ""); };