Code Editor : test_resolv.aug