for the record, this provide support for 64 bits operation on 32 bits platform