eliminate all (but 1) randomly generated segfaults