PART01.       diph - the game of dining philosophers, Part01/01