Documented CATCH and THROW in the N.I.G.E. Machine manual