[   56.416697][  T489] packetdrill (489) used greatest stack depth: 23616 bytes left