[   96.407881] packetdrill (3542) used greatest stack depth: 12520 bytes left