Example -- dining philosophers