add spec
Add debugging code