[   24.908207] packetdrill (481) used greatest stack depth: 12616 bytes left