jbe@208: --[[--
jbe@208: execute.finalizers()
jbe@208: 
jbe@208: Executes that code in initializers which is placed after execute.inner().
jbe@208: 
jbe@208: --]]--
jbe@208: 
jbe@208: function execute.finalizers()
jbe@208:   for i = #execute._finalizers, 1, -1 do
jbe@208:     execute._finalizers[i]()
jbe@208:     execute._finalizers[i] = 0
jbe@208:   end
jbe@208: end