extern void irco_praxname_c(fint *,fint *,fchar,fchar);