[boost] Exception Visitor