type = xbt_dict_get_or_null(process->binary_info->types, var->type_origin);
assert(find_member(process->binary_info, "first", type)->offset == 0);
assert(find_member(process->binary_info, "second", type)->offset
type = xbt_dict_get_or_null(process->binary_info->types, var->type_origin);
assert(find_member(process->binary_info, "first", type)->offset == 0);
assert(find_member(process->binary_info, "second", type)->offset