ISO / IEC JTC 1 / SC 22 / WG 14 N 2311 , 2018-1109 Exploring C Semantics and Pointer Provenance