MAX_PSEUDO_NAME
char name[MAX_PSEUDO_NAME];
snprintf(buf, MAX_PSEUDO_NAME, "R%d.", pseudo->nr);
snprintf(buf, MAX_PSEUDO_NAME, "PHI%d.", pseudo->nr);
char name[MAX_PSEUDO_NAME];
char name[MAX_PSEUDO_NAME];
char name[MAX_PSEUDO_NAME];