lab9 philosophers (???)