I see there is now a segmentation fault running one of the tests about recovery from out-of-memory conditions: https://buildd.debian.org/fetch.cgi?pkg=ppl&arch=s390x&ver=1%3A1.0-3&stamp=1... Would it be possible to obtain temporary access to a similar machine? Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com