bugfix: sizeof(int) is not equal to sizeof a pointer on x64