Symbol: ksh_get_wd