This is a simple test library that exports one public predicate.
The following predicates are exported, but not or incorrectly documented.