{incl_app,syntax_tools,details}.