(
Aenictinae
:
---
)
Aenictus ceylonicus
