[   56.223178][  T488] packetdrill (488) used greatest stack depth: 23600 bytes left