gcl/gmp4/tests
