% Adapted from Logtalk sics_number_chars_2_29. Modified for Eyepl's harness.
% See test/conformance/THIRD_PARTY.md.
%% goal: number_chars(_, [a])