(defwidget panel_widg
)