[anonymoushn]

int is defined to be the pointer width (or something like this), so probably int64 where the OP is running their code.

integer casts are unchecked.