* casting int to char* doesn't work out on 64 bit architectures