[   12.943223][  T257] packetdrill (257) used greatest stack depth: 24344 bytes left