%% goal: answer(X0, X1)

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