This is the 64 bit version of mallocated execute code for printf