+ vector<string> labels=get_labels();
+ for (unsigned int i=0; i<labels.size();i++){
+ if (i==0) result.insert(result.end(),
+ labels[i]+" "+get_typestring()+"Subprogram Entry Point Definition");
+ else
+ result.insert(result.end(),
+ labels[i]+" "+get_typestring() +" \" \"");
+ }