[   17.438601] packetdrill (378) used greatest stack depth: 12904 bytes left