debug of check implementation