[   16.290165] packetdrill (375) used greatest stack depth: 12904 bytes left