Module get module => js_util.getProperty(this, 'module');
set module(Module newValue) { js_util.setProperty(this, 'module', newValue); }