D

deker

Decomposed, verified kernel