[   49.596420] packetdrill (380) used greatest stack depth: 12952 bytes left