specific segmentation fault to be removed