test2.rewrite_pnat 12 KB