replace 32 bit int with 64 bit int