CFA Version 1.0.0 (debug)
Warning: in void ?{}(struct A *a, int x), member z may not have been constructed
Warning: in void ?{}(struct B *b), member a2 used before being constructed
Warning: in void ?{}(struct B *b), member a2 may not have been constructed
Warning: in void ?{}(struct B *b), member a3 may not have been constructed
Warning: in void ^?{}(struct B *b), member a2 may not have been destructed
Warning: in void ^?{}(struct B *b), member a3 may not have been destructed