Coverage cause sefaults