use of auxdata in bfp generating functions.
use of auxdata in bitstring comparison function.