[  426.649368][ T3716] packetdrill (3716) used greatest stack depth: 23936 bytes left