pragma(msg, format("7! = %s", fact_7));