:- foreign(c_foo( -integer)). foo(N, A_SSA_2) :- c_foo(TMP), write(TMP), nl.