1  contract C =
2    entrypoint f(n : int) =
3      Map.size({[1] = big_list(n)})
4  
5    function big_list(n) =
6      if(n == 0)
7        []
8      else
9        Call.caller :: big_list(n-1)