Symbol: TARG_USHRT_MAX