checker.h: double definitions, copied the S1..S3 to the code, else it will not work