many-banded krait Synonyms