Re: rfc4271 ORIGIN/path of default route, should the value be 0 or 2?