[  127.685523] packetdrill (6537) used greatest stack depth: 12520 bytes left