did you have to specify `int64` here ?