On 12 Jul 2014, at 00:41, Hans Hagen wrote: > […] > basic-plaintex or test-plaintex? Sorry for the mismatch in the names: the file I tested is named basic-plaintex.tex, that’s why the message from Plain LuaTeX refers to that name. While putting that minimal example in my message, I surrounded it with %%% begin test-plaintex.tex %%% end test-plaintex.tex I should have said %%% begin basic-plaintex.tex indeed… Best regards: OK