[  186.007733][ T1259] packetdrill (1259) used greatest stack depth: 23640 bytes left