Symbol: ADD_U_INT64