The buddy malloc overhead approaches 3.125% asymptotically.