Presumably this could be fixed by making a c data structure copy of fiat_entity_dofs.