Zhou, H. MyDef - A Generic Preprocessor [Computer software]. https://github.com/hzhou/mydef