Improved output of -D
Added bittok2str().