test.rewrite_pnat 12 KB