A macro programming language