int sh_init_single(int *argcp,char **argv,void *context_global, void **context_local) { return 0; }

int sh_init_single(int *argcp,char **argv,void *context_global, void **context_local) {
  return 0;
}