Removed double ;;
Put in assert that we don't have DEBUG defined (can be call from code that wants it).