Verified by C 
