[   63.358617][  T487] packetdrill (487) used greatest stack depth: 23392 bytes left