[   16.923505] packetdrill (380) used greatest stack depth: 12904 bytes left