[  458.490853][ T4008] packetdrill (4008) used greatest stack depth: 24368 bytes left