Added the implementation to some symbols