{ type: '$IsolateState', value: '
String toJson() => jsonEncode({'type': r'$IsolateState', 'value': name});