Camponotus (Carpenter Ant) body near the entrance to a Messor nest. [p 20]

Formica or Camponotus??? Merav and others have settled on Camponotus. I thought it was Formica moki, based on the extra structure between the thorax & gaster -- not completely smooth. Near the nest of Harvester Ants (Messor andrei).