Create checked_iterator.h