This is not meant to be used by C coders, at least not yet. The thing is, experts struggle to verify C. This is an aid to experts so that C can be verified at

This is not meant to be used by C coders, at least not yet. The thing is, experts struggle to verify C. This is an aid to experts so that C can be verified at all. Ease of use comes after that.