[  416.903766][ T3573] packetdrill (3573) used greatest stack depth: 23856 bytes left