[   90.437403] packetdrill (2963) used greatest stack depth: 12536 bytes left