deker

Decomposed, verified kernel