{incl_app,tools,details}.