(\c.(\b.print(eval b)) (quote(quote(unquote(unquote(lift c)))))) 10
