let check_integrity t = 
  ignore (check_height_integrity t)