C Code Verified