let
anonCompFieldName =
Cabs2cil
.anonCompFieldName