execution order of source files after compilation

[Marc Balmer <marc@...>]

I have several Lua source files which I compile to bytecode with a
single luac call as follows:

$ luac first.lua second.lua third.lua

Now when I execute the output using

$ lua luac.out

is it guaranteed that the order of execution will be the same as on the
luac command line, i.e. first.lua, then second.lua, then third.lua ?

It seems as it is the case, but I'd like to know if that is by incidence
only or by design...

Thanks,
Marc