Thus, the "safe" version of foo would be: int foo(int @); This tells the Cyclone compiler that the argument to foo should never be NULL, avoiding the aforementioned undefined behavior.
Astfel, versiunea "sigură" a foo ar fi: int foo(int @); Acest lucru îi spune compilatorului Cyclone că argumentul pentru foo nu ar trebui să fie niciodată NULL, evitând comportamentul nedefinit.