m17_p07.out: returned with FAILURE status