Hi, > We need either to initialize it in new_console with right head value or > to change it to simple struct field. It depends entirely on our future > plans for it.
It'll never change after initialization, so keeping it read-only and initialize in new_console sounds good to me. cheers, Gerd
