[   55.439137][  T476] packetdrill (476) used greatest stack depth: 23408 bytes left