[boost] Use of boost in safety critical work