Symbol: UNNAT_FAIL