More D code translation, still in certs