Pointers are unsigned integers, not signed.
Pointers are unsigned integers, not signed.

So the dev_cookie should be decoded as an unsigned value.

cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond