pragma(msg, format("9! = %s", fact_9));