32 bit machine issue