XBT_VERB("Append field '%s' to %p", field.name, (void *) struct_type);
xbt_datadesc_struct_append(struct_type, field.name, field.type);
XBT_VERB("Append field '%s' to %p", field.name, (void *) struct_type);
xbt_datadesc_struct_append(struct_type, field.name, field.type);