first steps on dining philosophers