red property Null safety

int red
final

Implementation

final int red;