code: def convert_machine_list_time_val(text: str) -> datetime.datetime:
      '''Convert RFC 3659 time-val to datetime objects.'''
      # TODO: implement fractional seconds
      text = text[:14]
  
      if len(text) != 14:
          raise ValueError('Time value not 14 chars')
  
      year = int(text[0:4])
      month = int(text[4:6])
      day = int(text[6:8])
      hour = int(text[8:10])
      minute = int(text[10:12])
      second = int(text[12:14])
  
      return datetime.datetime(year, month, day, hour, minute, second,
                               tzinfo=datetime.timezone.utcf convert_machine_list_time_val(text: str) -> datetime.datetime:
      '''Convert RFC 3659 time-val to datetime objects.'''
      # TODO: implement fractional seconds
      text = text[:14]
  
      if len(text) != 14:
          raise ValueError('Time value not 14 chars')
  
      year = int(text[0:4])
      month = int(text[4:6])
      day = int(text[6:8])
      hour = int(text[8:10])
      minute = int(text[10:12])
      second = int(text[12:14])
  
      return datetime.datetime(year, month, day, hour, minute, second,
                               tzinfo=datetime.timezone.utc)
docs: Convert RFC 3659 time-val to datetime objects.