kimchi::circuits::macros