tex sources for informal specification of bit walker
now the pdf is updated with each make