extern int v3p_netlib_dlasrt_(
  char *id,
  v3p_netlib_integer *n,
  v3p_netlib_doublereal *d__,
  v3p_netlib_integer *info,
  v3p_netlib_ftnlen id_len
  );