Uses of Interface
org.jcsp.util.ints.ChannelDataStoreInt