LDFLAGS=-lgmp

dcas: