C Logic Safety