% luacoolprop-plain.tex -- alternate name for the plain TeX wrapper
% Copyright (C) 2026 Christophe Jorssen. LPPL 1.3c or later.
\input p-luacoolprop.tex
\endinput