I've meant for a while to extend the nothrow_libfn_p functionality in the C++ frontend to cover the other builtin attributes in order to get the lazy handling Joseph talks about, but haven't gotten around to it. I would think that doing so would be straightforward. Jason