par goto phils0->sleeping(exit_code); // Not define
par goto phils1->thinking(exit_code);