Added bittok2str().