--- a/src/parallel_execution/examples/DPP2/PhilsImpl.cbc	Thu Jan 21 16:24:39 2021 +0900
+++ b/src/parallel_execution/examples/DPP2/PhilsImpl.cbc	Thu Jan 21 16:31:13 2021 +0900
@@ -33,12 +33,12 @@
 }
 
 __code putdown_lfork_PhilsImpl(struct PhilsImpl* phils, __code next(...)) {
-    goto phils->Leftfork->set(-1, putdown_rfork_PhilsImpl);
+    goto phils->Leftfork.set(-1, putdown_rfork);
 
 }
 
 __code putdown_rfork_PhilsImpl(struct PhilsImpl* phils, __code next(...)) {
-    goto phils->Rightfork->set(-1, putdown_lfork_PhilsImpl);
+    goto phils->Rightfork.set(-1, putdown_lfork);
 }
 
 __code thinking_PhilsImpl(struct PhilsImpl* phils, struct Fork* fork, __code next(...)) {
@@ -47,11 +47,11 @@
 }
 
 __code pickup_rfork_PhilsImpl(struct PhilsImpl* phils, __code next(...)) {
-    goto phils->Rightfork->checkAndSet(id, -1, pickup_lfork_Phils, pickup_rfork_Phils);
+    goto phils->Rightfork.checkAndSet(id, -1, pickup_lfork, pickup_rfork);
 }
 
 __code pickup_lfork_PhilsImpl(struct PhilsImpl* phils, __code next(...)) {
-    goto phils->Leftfork->checkAndSet(id, -1, pickup_rfork_Phils, eating_PhilsImpl);
+    goto phils->Leftfork.checkAndSet(id, -1, pickup_rfork, eating);
 
 }