Ary Borenszweig: > Or like T! in Spec# :-) You may take a look at how Cyclone too manages such problem: http://en.wikipedia.org/wiki/Cyclone_programming_language#Pointer.2Freference_types Bye, bearophile