options {
	dns64 0000:0000:0000:0000:0400:000f::/96 { }; /* bits [64..71] MBZ */
};
