% Adapted from Logtalk eddbali_number_codes_2_17. Modified for Eyepl's harness.
% See test/conformance/THIRD_PARTY.md.
%% goal: number_codes(_, [52, -1])