let
get_project_num p = p.num