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