[  409.923172][ T4175] packetdrill (4175) used greatest stack depth: 23432 bytes left