Tail-recursive loading ...