Missing Fail in r16792
Printing function for Stdargs in debugger
Bad use of Obj.magic in interpretation of TacAlias arguments.
It triggered nonsensical behaviour of list-using tactic
notation. Hopefully or not, nobody uses such notations out of
the test-suite...