fix karatsuba.c split_at function