Some more pedantism with udp46_destroy, and defaulting to PCP client port for talking to server but can also use something else if it's busy.