entity check_div is

end entity check_div;