Migrate to de
SEAL
ed version of CORAL.