__gc finalizer called at exit?

[nr@... (Norman Ramsey)]

I've scrutinized the reference manual and also done some web searching,
and nowhere do I find the answer to this question: if Lua exits
either by a call to os.exit or by a normal return from the main chunk,
does it guarantee to call the __gc finalizers for any live userdata objects?
I believe that it should, but I'm not about to rely on it without some
word from the Team :-)


Norman