Reducing undefined behavior in the C language