:- func example(int) = string.
example(N) = S :-
from_int(N) = S0,
pad_left(S0, '0', 3, S).
pad_left(S0, '0', 3, S),
from_int(N) = S0.