/src
/tools.ninja
