#load "popeye.sig". #load "java.sig". #load "list.mod". #load "interp.mod". #load "tchecker.mod". #load "spinach.mod". #load "list.spi". #load "cell.pop.sig". #load "cell.pop.mod". #load "cell.pop.spi". #load "queue.pop.sig". #load "queue.pop.mod". #load "queue.pop.spi".