use forkOS for dining example