Procs

func serializeIpv6(address: array[8, uint16]): string {....raises: [], tags: [],
    forbids: [].}

Given an array of 8 uint16(s), serialize them into an IPv6 string representation.