complete extraction from dart-js-wrapping