test.rewrite_pnat 70 KB