Fix parser to expect braces rather than parens for tuple values.
Make C backend handle cert input.