Initial version of checker