Seemingly functional dining philosophers + notes