[code: SequinImpl.bcd, symbols: SequinImpl.symbols] ← SequinImpl