Add decont

This doesn't actually compile yet.