Added some declarations