let block_length : D.pointer -> Formula.integer D.F.term =
    D.e_app1 ("m0_block_length")