newer version of informal specification of bit walker