cpp-assume