[   17.033760] packetdrill (379) used greatest stack depth: 12904 bytes left