gmp usage example