Hi Hat-team, What does this error mean when running a program compiled with -T? How can I increase it? Exceeded size of SAT stack Amanda -- Amanda Clare http://users.aber.ac.uk/ajc99/ Tel: +44 (0)1970 621922 Fax: +44 (0)1970 622455 Dept. of Computer Science, University of Wales, Aberystwyth, SY23 3DB