Skeleton of macro expansion code