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