... output log truncated, see `foreign_term_invalid.err' for the complete log. test1'/1 foreign_term_invalid.m:013: mode 0 has a `:- pragma does_not_terminate' foreign_term_invalid.m:013: declaration, but also has the `terminates' foreign_term_invalid.m:013: foreign code attribute set. foreign_term_invalid.m:014: Warning: predicate `foreign_term_invalid.test2'/1 foreign_term_invalid.m:014: mode 0 has a `:- pragma terminates' declaration, foreign_term_invalid.m:014: but also has the `does_not_terminate' foreign foreign_term_invalid.m:014: code attribute set.