Added the functional tests and the annotations.