SEAL is a programming language.