[   83.756596] packetdrill (2608) used greatest stack depth: 12904 bytes left