./ispi nspriv.spi >nspriv.p
memtime h1 -check-h1 1 -trim +m nspriv.p
memtime pldet nspriv.model.pl >nspriv.model.xml

Add a notion of honest/dishonest principals?


Change variables x in each proc p to something like p.x