[   73.646847] packetdrill (4724) used greatest stack depth: 12856 bytes left