Using Semi-FREE 64-bit Allocations with IPv6