%
% empty acceptance trailer
%
% stack: found
%
_found and
%
% called at end of each acceptor
%
% stack: found
%