%% ?- answer(X0, X1).

answer(pow_large_integer, X) :- (X is 2 ** 10).