[   17.174603] packetdrill (379) used greatest stack depth: 12920 bytes left