>>> Should fail
*** Failed: A(false) ***
<<< done.
