Macro-expander:need to implement cond