Add complete FileChecker example

See #14.