> Using the first idea, we can determine at compile time whether a pointer > points to the heap or not. Another option would be to only allow fixed pointers to point to the heap. It might simplify the implementation.