DELETE TYPES;
READ FILE ptflash.a4c;
COMPILE tc of do_the_test; 
BROWSE tc; 
RUN tc.clear;
RUN tc.seqmod; 
RUN tc.specify; 
RUN tc.reset; 
RUN tc.values;
SOLVE tc; 
BROWSE tc;