JSCRE imported from Dart