32-bit version of print string