C++ Source Code for PASCAL Annotation Version 1.00