[   54.685702][  T487] packetdrill (487) used greatest stack depth: 23664 bytes left