let
size_of_env env = env.table_size