[   54.945387][  T270] packetdrill (270) used greatest stack depth: 24512 bytes left