void xerbla_ (char *srname, int *info)
{
    /* do nothing */ ;
}


void xerbla (char *srname, int *info)
{
    /* do nothing */ ;
}