Pristomyrmex punctatus.