generated.c

 struct DataStructures_Trackpoint (*foo)(struct DataStructures_Trackpoint);
  if ( !((*foo)(i1).alt == 100) ) 
  {
    (*__failures)++;;
    printf("$$FAILED: ***FAILED*** (");
    printf("testID=%i",0);
    printf(") @FunctionPointers:testLambdaProcessing:0#6864902200221979870\n");
    
  }

static struct DataStructures_Trackpoint FunctionPointers_closure_a7a1(struct DataStructures_Trackpoint t) 
{
  t.alt = 100;
  return t;
}

mbddr.c

(Trackpoint)⇒(Trackpoint) foo = [t| 
  t.alt = 100 m; 
  t; 
]; 
assert(0) foo(i1).alt == 100 m;