[  481.736163][ T4641] packetdrill (4641) used greatest stack depth: 24384 bytes left