/* * Prefix of EPR */ char *prefix(void) {