How to use SEAL1