I've given a cursory look and can't find the answer to the following question: how do we know that boost functions are exception safe? I'm just curious, because they're used in a constructor here. Any ideas @rwcarlsen ?