Segfault detection; output improvement