%% ?- answer(X0).

answer(arg_zero_fails) :- arg(0, pair(a, b), _).