A mini ABI capable of handling throw/catch statements for C++ without libstdc++