Trying to validate the termination of  C