m = S m1, k > power2 (S m1) left