verifying stack at the end