If pointers are integers, all pointers escape. This is not a matter of "nice to have" optimizations. (The usual model used by compilers is that pointers are no

If pointers are integers, all pointers escape. This is not a matter of "nice to have" optimizations. (The usual model used by compilers is that pointers are not integers, but a pointer becomes an integer when it is casted to an integer. This prevents majority of pointers that are not casted to integers from escaping, which is important.)