[Users] syntax for pointers from array in Cactus?