The standard said use catch(...) and not catch()