let model_valid :
      tbl_alloc -> D.integer -> D.integer -> F.pred =
    D.p_app3 "valid"