X = 1.
use_module(library(dif)).
X = 1.
dif(X,1).
halt.