Add comment

Signed-off-by: John Else <john.else@citrix.com>
Change UInt64.t to uint64

Signed-off-by: John Else <john.else@citrix.com>