Segmentation faultは明らかにバグですね