Re: [PATCH 02/45] Fix exception_enter() return value