[  419.691839][ T3578] packetdrill (3578) used greatest stack depth: 23696 bytes left