../../Task/Dining-philosophers/PicoLisp