[  477.769485][ T4441] packetdrill (4441) used greatest stack depth: 24112 bytes left