Is there no function to check empty'ness of Hashtbl? Calculating its size just to make sure it's not 0 could be rather heavy.