implementing lean_array