[  445.426018][ T4009] packetdrill (4009) used greatest stack depth: 23872 bytes left