On 01/06/2014 09:35 PM, bearophile wrote: > > > "pure static" data means that 'arr' get cleaned (overwritten by its > init) at the entry of the function foo (just like for not-static > variables), to keep the function referentially transparent. It doesn't. The reinitialization may be observable through references obtained from earlier calls.