(module Gpr_block_diag)