%% goal: answer(X0)

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