resolution segfault