[  129.678839] packetdrill (3354) used greatest stack depth: 12648 bytes left