[   58.259943][  T476] packetdrill (476) used greatest stack depth: 23392 bytes left