added boost assert header