Labels live in guest memory the game allocated (Garlic/Onion 0x10_0000_0000+), in low guest heaps (0x2_0000_0000+), or in the GnmDriver area (0xfe00_0000+). Accept any plausibly-mapped, non-low address; reject null/garbage.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected