warning: bstone\bstone.v:17:55: pointer field `bstone.VRakLib.session_manager` must be initialized
warning: bstone\bytebuffer.v:17:37: `bstone.Endianness.little` is unnecessary, use `.little`
warning: bstone\bytebuffer.v:396:32: `bstone.Endianness.little` is unnecessary, use `.little`
warning: bstone\bytebuffer.v:399:29: `bstone.Endianness.big` is unnecessary, use `.big`
warning: bstone\packet.v:90:52: pointer field `bstone.EncapsulatedPacket.buffer` must be initialized
bstone\session.v:96:54: no need to specify the full array type here, use `[]` instead of `[][]bstone.EncapsulatedPacket`
94| receive_sequenced_highest_index: [0].repeat(ChannelCount)
95|
96| receive_ordered_packets: [[]EncapsulatedPacket].repeat(ChannelCount)
^
97|
98| session_manager: session_manager
