add 32 bit printing function