Symbol: capture_pointer