Note on the heap and visibility