IFC 5 and API

Is it buildingsmart’s intention to make available an API to read and write the new IFC 5 format?