../ temp.arg/ 24-Feb-2026 12:55 - temp.decls/ 24-Feb-2026 12:55 - temp.fct.spec/ 24-Feb-2026 12:55 - temp.names/ 24-Feb-2026 12:55 - temp.param/ 24-Feb-2026 12:55 - temp.res/ 24-Feb-2026 12:55 - temp.spec/ 24-Feb-2026 12:55 - temp.type/ 24-Feb-2026 12:55 - p3.cpp 24-Feb-2026 12:55 871