Should actually use a word64 here