[  509.836936][ T4889] packetdrill (4889) used greatest stack depth: 23440 bytes left