client code works properly under normal conditions
testing the check code