#11 Pointer to integer & string formatting

This commit addresses a number of cases where pointer values were
assigned to 32-bit values as well as string formatting strings that
were not platform independent.
Merge pull request #19 from Seldomberry/SanderMertens

#11 Pointer to integer & string formatting