Actually write the Karatsuba multiplier.  Doesn't work yet.