On a 32 bit system you can print a 32 bit value as a long (verinum)