code: def BE64(value, min_value=None, max_value=None, fuzzable=True, name=None, full_range=False):
      '''64-bit field, Big endian encoded'''
      return UInt64(value, min_value=min_value, max_value=max_value, encoder=ENC_INT_BE, fuzzable=fuzzable, name=name, full_range=full_rangef BE64(value, min_value=None, max_value=None, fuzzable=True, name=None, full_range=False):
      '''64-bit field, Big endian encoded'''
      return UInt64(value, min_value=min_value, max_value=max_value, encoder=ENC_INT_BE, fuzzable=fuzzable, name=name, full_range=full_range)
docs: 64-bit field, Big endian encoded