C/C++ KAST checkers

The topics in this section describe how to create C/C++ KAST checkers.