let
empty_project = make_project 0