* Mathieu Desnoyers: > +/* Initialize record failure. Calling this is only needed when > + recording failures from constructors. */ > +void support_record_failure_init (void); This looks okay to me. Thanks, Florian