"Redline"@cs .