:- module foo. :- interface. :- func foo = int. :- implementation. :- pragma foreign_proc("C", foo = (F::out), [will_not_call_mercury, promise_pure thread_safe, will_not_modify_trail, does_not_affect_liveness], " F = 561; ").