[   57.831128][  T487] packetdrill (487) used greatest stack depth: 23848 bytes left