forgot to export failed-p