Re: int64_t problem