[   48.319850][  T271] packetdrill (271) used greatest stack depth: 23808 bytes left