+ c = new_Add (new_Const (mode_Is, new_tarval_from_long (5, mode_Is)),
+ new_Const (mode_Is, new_tarval_from_long (7, mode_Is)),
+ mode_Is);
+ d = new_Add (new_Const (mode_Is, new_tarval_from_long (7, mode_Is)),
+ new_Const (mode_Is, new_tarval_from_long (5, mode_Is)),
+ mode_Is);