[  458.885152][ T4009] packetdrill (4009) used greatest stack depth: 23456 bytes left