let
is_empty t = (compare
""
t = 0)