Added wsh_exp_range_init and cleanup to wshc