macroexpand time validation example