Updated for checker4 example.

Added constants and functions to support implementing the checker4
example.