Don't use PK_Word64 and ASSIGN_Word64 on 64-bit machines; they just make the .hc files harder to read without adding any benefit.