"CLINT"@cs .