Symbol: get_faulttype