serialization = ibis, sun, byte
worldmodel = closed
communication = OneToOne, OneToMany, ManyToOne, Poll, TotallyOrdered, \
		FifoOrdered, Reliable, PollMessageUpcalls, \
		AutoMessageUpcalls, ExplicitReceipt
