URI:
  HTML dcputime00___8c.html
  TEXT dcputime00___8c.js
  HTML dcputime00___8c_aafc97e0e25b6e78f11092700261129d8.html
  HTML dcputime00___8c_source.html