Symbol: uc_assert_diag44