Loading naivepop or petitfool...