code: def fill_symbolic(self):
          
          self.wYear = self.state.solver.BVS('cur_year', 16, key=('api', 'GetLocalTime', 'cur_year'))
          self.wMonth = self.state.solver.BVS('cur_month', 16, key=('api', 'GetLocalTime', 'cur_month'))
          self.wDayOfWeek = self.state.solver.BVS('cur_dayofweek', 16, key=('api', 'GetLocalTime', 'cur_dayofweek'))
          self.wDay = self.state.solver.BVS('cur_day', 16, key=('api', 'GetLocalTime', 'cur_day'))
          self.wHour = self.state.solver.BVS('cur_hour', 16, key=('api', 'GetLocalTime', 'cur_hour'))
          self.wMinute = self.state.solver.BVS('cur_minute', 16, key=('api', 'GetLocalTime', 'cur_minute'))
          self.wSecond = self.state.solver.BVS('cur_second', 16, key=('api', 'GetLocalTime', 'cur_second'))
          self.wMilliseconds = self.state.solver.BVS('cur_millisecond', 16, key=('api', 'GetLocalTime', 'cur_millisecond'))
  
          self.state.add_constraints(self.wYear >= 1601)
          self.state.add_constraints(self.wYear <= 30827)
          self.state.add_constraints(self.wMonth >= 1)
          self.state.add_constraints(self.wMonth <= 12)
          self.state.add_constraints(self.wDayOfWeek <= 6)
          self.state.add_constraints(self.wDay >= 1)
          self.state.add_constraints(self.wDay <= 31)
          self.state.add_constraints(self.wHour <= 23)
          self.state.add_constraints(self.wMinute <= 59)
          self.state.add_constraints(self.wSecond <= 59)
          self.state.add_constraints(self.wMilliseconds <= 999)
docs: Fill the class with constrained symbolic values.