[  625.454821][ T6401] packetdrill (6401) used greatest stack depth: 23872 bytes left