Currently a block of memory held by the exception library is used. The could should allow using the user's allocator for the exception memory.