Example Uses of the Checker Framework