[  458.038518][ T4139] packetdrill (4139) used greatest stack depth: 23456 bytes left