SM_VAL_T
SM_VAL_T *exc_argv;
SM_VAL_T * volatile argv = NULL;
argv = sm_malloc_x(argc * sizeof(SM_VAL_T));