Create verificar.c