record with constructor with parameters cannot be used in static array