part01   diph - the game of dining philosophers, Part01/01