ForLoop_Details
char *details = ForLoop_Details(f);
char *ForLoop_Details(const struct ForLoop *);
char *details = ForLoop_Details(entry->forLoop);