Are currently encountered segfaults are fixed