The source code of Add