Initial version of the checker