"Pyrophorus"@cs .