Finished translation of the DBN kernel.