What does int *`r mean?
This is the type of a pointer to an int in region `r. This can also be written as “int *@region(`r)”. A region indicates conceptually where in memory an object is stored; different regions have different lifetimes and deallocation strategies, and the aliasing into certain regions may be restricted. Cyclone uses this region information to prevent dereferencing a pointer whose storage has been deallocated. See Memory Management Via Regions for more information on regions.
