code: def repr_timestamp(timestamp):
      
      if timestamp is None:
          return 'None'
      dt = datetime_from_timestamp(timestamp)
      ret = "%d (%s)" % (timestamp,
                         dt.strftime('%Y-%m-%d %H:%M:%S.%f %Z'))
      return ret
docs: Return a debug representation of an HMC timestamp number.