A quick test on my machine has suggested that my previous theory is not the case (and the ARM doesn't say you can't do it). In any case, you may find the terminate() and unexpected() functions useful for debugging. Adam C.