From Bertrand: fix for Windows use 0x%lx  instead of %p in printf formatting style for printing pointer values