:: deftheorem defines g_int_add GAUSSINT:def 3 :
g_int_add = addcomplex || G_INT_SET;