[   45.486121][  T381] packetdrill (381) used greatest stack depth: 23840 bytes left