Implemented annotate.hpp.