formula_stress_test: prn