import * as w from './gui-common/widgets.js'; let a = w.Widget();