Programmability has been pegged as one of the major draws of digital currencies and one of innovative services that central bank digital currency (CBDCs) could...