"Ramphotyphlops pinguis"@cs .