Do you want to change the 0xffff to base 10 everywhere in the spec ?