this is the 32 bit version of allocate memory for printf