Edit File: eui64.h