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