2 project(Atomic Op) : aceexe {
9 project(Barrier) : aceexe {
16 project(Mutex) : aceexe {
23 project(RW Lock) : aceexe, avoids_ace_for_tao {
30 project(Semaphore) : aceexe, avoids_ace_for_tao {
37 project(Tokens) : aceexe {
44 project(Tokens Deadlock) : aceexe {
45 exename = Tokens_Deadlock
51 project(TSS) : aceexe {