I think all the confusion about stack stuff earlier can maybe be resolved by just realizing that the compiler chooses where the variable will live in memory, and therefore knows what &foo will be, whether that’s on the stack or a global or whatever