[   56.166176][  T487] packetdrill (487) used greatest stack depth: 23408 bytes left