Undefined Behavior and Sequence Points