Update 2014-07-19-implementation-defined-behavior-in-c