debug with specification code