A kata for bit multiplication