conf-gmp: (slightly) less basic test