Check gmp stream

At this point, just tests if