but core dumped