BitVectors and everything else that uses malloc/free needs to be checked for proper (de)allocation when in a structure that is alloc_perm()'d.