unit example_dining_phil = {

imports[ stdout : Stdout_T exit : Exit_T abort : AtExit_T pthread : PThread_T locks : PThreadLocks_T rnd : { rand srand } ]; exports[ out : Main_T ]; ...

}