let anonCompFieldName = Cabs2cil.anonCompFieldName