Example of Hy macros