"Hoploryctoderus"@cs .