#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.