Do not let your type system reason about aliasing in your programming language (via fanf) — discussion
#plt
