Added back our testcase, raul_jenna_costas.c