Checking of the stjck programming language.