[  475.525399][ T4509] packetdrill (4509) used greatest stack depth: 23856 bytes left