(module Gpr_cov_se_fat)