let size sexp = size_loop (0, 0) sexp