RF2423: new header files added