Eugene and Knut, in the future please always include information about which signal was generated, at least if it's not SIGSEGV (which is the most common).