:- external(example, [ main / 1 ]).