__code putdown_lforkPhilsImpl(struct Context *context,
	struct PhilsImpl* phils, enum Code next) {
    struct AtomicT_int* left_fork = phils->Leftfork;
    Gearef(context, AtomicT_int)->atomicT_int = (union Data*) left_fork;
    Gearef(context, AtomicT_int)->newData = -1;
    Gearef(context, AtomicT_int)->next = C_thinkingPhilsImpl;
    goto mcMeta(context, left_fork->set);
}