Archived tweet #2104 from the @leastfixedpoint Twitter Archive

@liyanghu Ah, OK; that's a good point! I guess the problem could be seen as stemming from Java's identification of pointer with pointed-to.