Debugging and verification code

Debugging and verification code