Added the While_Valid_1 C code