(module Gsl_error)