Forgot to make tsh_tilde_expand static