"Typhlops"@cs .