"Cannot add the field '%s' into struct '%s': its type is NULL",
name, struct_type->name);
XBT_IN("(%s %s.%s;)", field_type->name, struct_type->name, name);
"Cannot add the field '%s' into struct '%s': its type is NULL",
name, struct_type->name);
XBT_IN("(%s %s.%s;)", field_type->name, struct_type->name, name);